Botincan, Matko: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

[IEEE 2007 9th International Conference on Telecommunications - Zagreb, Croatia (2007.06.13-2007.06.15)] 2007 9th International Conference on Telecommunications - Model-based Testing of the Conference Protocol with Spec Explorer

Botincan, Matko, Novakovic, Vedran

Year:

2007

Language:

english

File:

PDF, 2.03 MB

english, 2007

2

Separation Logic Verification of C Programs with an SMT Solver

Matko Botinčan, Matthew Parkinson, Wolfram Schulte

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2009

Language:

english

File:

PDF, 488 KB

english, 2009

3

[IEEE 2011 26th IEEE/ACM International Conference on Automated Software Engineering (ASE) - Lawrence, KS, USA (2011.11.6-2011.11.10)] 2011 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011) - Safe asynchronous multicore memory operations

Botincan, Matko, Dodds, Mike, Donaldson, Alastair F., Parkinson, Matthew J.

Year:

2011

Language:

english

File:

PDF, 929 KB

english, 2011

4

[IEEE 2007 15th International Conference on Software, Telecommunications and Computer Networks - Split, Dubrovnik, Croatia (2007.09.27-2007.09.29)] 2007 15th International Conference on Software, Telecommunications and Computer Networks - Futures and the lazy task creation for .NET

Botincan, Matko, Runje, Davor, Vucinovic, Albert

Year:

2007

Language:

english

File:

PDF, 120 KB

english, 2007

5

[IEEE 2008 30th International Conference on Information Technology Interfaces (ITI) - Cavtat/Dubrovnik, Croatia (2008.06.23-2008.06.26)] ITI 2008 - 30th International Conference on Information Technology Interfaces - An enhancement of futures runtime in presence of cache memory hierarchy

Botincan, Matko, Runje, Davor

Year:

2008

Language:

english

File:

PDF, 311 KB

english, 2008

6

Proof-Directed Parallelization Synthesis by Separation Logic

Botinčan, Matko, Dodds, Mike, Jagannathan, Suresh

Journal:

ACM Transactions on Programming Languages and Systems

Year:

2013

Language:

english

File:

PDF, 3.18 MB

english, 2013

7

[ACM Press the 16th ACM symposium - San Antonio, TX, USA (2011.02.12-2011.02.16)] Proceedings of the 16th ACM symposium on Principles and practice of parallel programming - PPoPP '11 - Automatic safety proofs for asynchronous memory operations

Botincan, Matko, Dodds, Mike, Donaldson, Alastair F., Parkinson, Matthew J.

Year:

2011

Language:

english

File:

PDF, 302 KB

english, 2011

8

[ACM Press the 39th annual ACM SIGPLAN-SIGACT symposium - Philadelphia, PA, USA (2012.01.25-2012.01.27)] Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '12 - Resource-sensitive synchronization inference by abduction

Botincan, Matko, Dodds, Mike, Jagannathan, Suresh

Year:

2012

Language:

english

File:

PDF, 710 KB

english, 2012

9

[ACM Press the 40th annual ACM SIGPLAN-SIGACT symposium - Rome, Italy (2013.01.23-2013.01.25)] Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '13 - Sigma*

Botinčan, Matko, Babić, Domagoj

Year:

2013

Language:

english

File:

PDF, 969 KB

english, 2013

10

[ACM Press the 19th ACM SIGSOFT symposium and the 13th European conference - Szeged, Hungary (2011.09.05-2011.09.09)] Proceedings of the 19th ACM SIGSOFT symposium and the 13th European conference on Foundations of software engineering - SIGSOFT/FSE '11 - jStar-eclipse

Naudziuniene, Daiva, Botincan, Matko, Distefano, Dino, Dodds, Mike, Grigore, Radu, Parkinson, Matthew J.

Year:

2011

Language:

english

File:

PDF, 566 KB

english, 2011

11

Resource-sensitive synchronization inference by abduction

Botincan, Matko, Dodds, Mike, Jagannathan, Suresh

Journal:

ACM SIGPLAN Notices

Year:

2012

Language:

english

File:

PDF, 710 KB

english, 2012

12

Automatic safety proofs for asynchronous memory operations

Botincan, Matko, Dodds, Mike, Donaldson, Alastair F., Parkinson, Matthew J.

Journal:

ACM SIGPLAN Notices

Year:

2011

Language:

english

File:

PDF, 302 KB

english, 2011

13

A Generic C++ Library for Solving Path Problems

Botincan, Matko

Journal:

Journal of Computing and Information Technology

Year:

2004

File:

PDF, 162 KB

2004